\begin{tabbing}
rv{-}disjoint($p$;$n$;$X$;$Y$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=$\forall$$i$:\{0..$n$$^{-}$\}.\+
\\[0ex]($\forall$$s_{1}$, $s_{2}$:(\{0..$n$$^{-}$\}$\rightarrow$Outcome).
\\[0ex]($\forall$$j$:\{0..$n$$^{-}$\}. ($\neg$($j$ = $i$)) $\Rightarrow$ ($s_{1}$($j$) = $s_{2}$($j$))) $\Rightarrow$ ($X$($s_{1}$) = $X$($s_{2}$)))
\\[0ex]$\vee$ \=($\forall$$s_{1}$, $s_{2}$:(\{0..$n$$^{-}$\}$\rightarrow$Outcome).\+
\\[0ex]($\forall$$j$:\{0..$n$$^{-}$\}. ($\neg$($j$ = $i$)) $\Rightarrow$ ($s_{1}$($j$) = $s_{2}$($j$))) $\Rightarrow$ ($Y$($s_{1}$) = $Y$($s_{2}$)))
\-\-
\end{tabbing}